$\forall$$a$,$b$:Knd. ($\uparrow$eq\_knd($a$; $b$)) $\Leftarrow\!\Rightarrow$ ($a$ = $b$)